More from this Author

Interactive Systems Design - Design, Specification, and Verification

by Joaquim A. Jorge (Editor), Nuno Jardim Nunes (Editor), João Falcão e Cunha